- формализуем
- formalize
Бизнес, юриспруденция. Русско-английский словарь. 2005.
Бизнес, юриспруденция. Русско-английский словарь. 2005.
Линейное программирование — математическая дисциплина, посвященная теории и методам решения задач об экстремумах линейных функций на множествах, задаваемых системами линейных неравенств и равенств; Л. п. является одним из разделов математического программирования… … Большая советская энциклопедия
ЯЗЫК ИСКУССТВА — одно из важнейших проблемных полей современной философии искусства, конституированное в контексте характерного для постмодерна радикального поворота от центральной для классической традиции проблематики творчества к актуализирующейся в… … Новейший философский словарь
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ — математическая дисциплина, посвященная теории и методам решения задач об экстремумах линейных функций на множествах n мерного векторного пространства, задаваемых системами линейных неравенств и равенств; Л. п. один из разделов математического… … Математическая энциклопедия
Тавтология (логика) — У этого термина существуют и другие значения, см. Тавтология. Тавтологией в логике называется тождественно истинное высказывание, инвариантное относительно значений своих компонентов. Содержание 1 Примеры тавтологий 1.1 … Википедия